to install the standard library, cd in Shen to this directory and enter install.shen